扫一扫
关注中图网
官方微博
-
计算机科学的数学基础
¥17.1(3.8折)定价:¥45.0形式语言与自动机理论、可计算理论、逻辑学和程序设计理论，都是研究计算模型的。它们之间也是相互关联的，共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶，特别是20世纪30年代的数学家Church（邱奇）、GMel（哥德尔）、Kleene（克林）、Post（波斯特）以及Turing（图灵）等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理
